Formal specification of advanced AI architectures
نویسنده
چکیده
As known, to finish this book, you may not need to get it at once in a day. Doing the activities along the day may make you feel so bored. If you try to force reading, you may prefer to do other entertaining activities. But, one of concepts we want you to have this book is that it will not make you feel bored. Feeling bored when reading will be only unless you don't like the book. formal specification of advanced ai architectures really offers what everybody wants.
منابع مشابه
Blackboard Systems
Blackboard systems are not new technology. The first blackboard system, the Hearsay-II speech understanding system [1], was developed nearly twenty years ago. While the basic features of Hearsay-II remain in today’s blackboard systems, numerous advances and enhancements have been made as a result of experience gained in using blackboard systems in widely varying application areas. Unlike most A...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملOn the Specification of Constraints for Dynamic Architectures
In dynamic architectures, component activation and connections between components may vary over time. With the emergence of mobile computing such architectures became increasingly important and several techniques emerged to support in their specification. These techniques usually allow for the specification of concrete architecture instances. Sometimes, however, it is desired to focus on the sp...
متن کاملFormal Specification and Validation of Dynamic Software Architectures
The principal characteristic of a Dynamic Software Architecture (DSA) is the ability to change its structure at run-time by adding or deleting components or connectors. I present here my research results and open issues on formal modeling and verifying dynamic software architectures.
متن کاملBehavioral Refinement of Software Architectures
Formal methods are mathematical techniques which aim at introducing sound engineering principles into software development. Especially in early development phases, where the overall structure of a software system — also called its software architecture — is designed, formal methods help to avoid errors. Therefore, a lot of formal methods based research has been and still is undertaken in the fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991